The circuit that was too lazy to fail
نویسندگان
چکیده
This paper describes a translation of a relational hardware description language into a functional language in such a way that the user does not have to decide the direction of the data flow in the functional language. This approach relies on laziness, making the translation hard to analyse. The use of a theorem prover that supports reasoning about laziness and undefined elements allows the investigation of the validity of the translation.
منابع مشابه
The Effects of Too-Big-to-fail Banks on Depositors' Behavior
In the wake of recent financial crisis, large banks have been considered as important factors in financial markets in the world, since these bankschr(chr('39')39chr('39')) failure could affect the whole economy by extending systemic risk. With regard to this issue, when large banks face insolvency or bankruptcy, larger part of economy would be affected, and with the interconnectedness between b...
متن کاملPrediction of daily precipitation of Sardasht Station using lazy algorithms and tree models
Due to the heterogeneous distribution of precipitation, predicting its occurrence is one of the primary and basic solutions to prevent possible disasters and damages caused by them. Considering the high amount of precipitation in Sardasht County, the people of this city turning to agriculture in recent years and not using classification models in the studied station, it is necessary to predict ...
متن کاملامکان سنجی بکارگیری عناصر نیمه هادی از نوع PIN به منظور دزیمتری پرتوهای ایکس تشخیصی
Knowing patient exact dose during radiological activities is considered as one of the main principles to decrease radiation-induced dangers which are not really necessary and affect a great deal of people. In this respect, in recent years many extensive studies have been done on types of photodiodes and production of X-ray detectors using semiconductor elements. Since these elements are not ver...
متن کاملLazy transition systems and asynchronous circuit synthesis withrelative timing assumptions
This paper presents a design flow for timed asynchronous circuits. It introduces lazy transitions systems as a new computational model to represent the timing information required for synthesis. The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. Lazy transition systems can be effectively used to model the behavior of asynchron...
متن کاملDesign and Verification of Lazy and Hybrid Implementations of the SELF Protocol
Synchronous Elasticization converts an ordinary clocked circuit into Latency-Insensitive (LI) design. The Synchronous Elastic Flow (SELF) is an LI protocol that can be implemented with eager or lazy evaluation in the data steering network. Compared to lazy implementations, eager SELF designs have no combinational cycles and can have a performance advantage, but consume more area and power. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997